•Lorentz transformation derived